- Lógica deóntica
- La lógica deóntica es el análisis formal de las normas o de las proposiciones que tratan acerca de las normas.
● A partir del operador O que significa "obligatorio" es posible calificar actos o proposiciones como obligatorios. Por ejemplo, el acto "pagar impuestos" cuyo símbolo será p, puede ser obligatorio: Op. O bien, la proposicion "los impuestos se pagan" cuyo símbolo será p*, puede serlo: Op*.
● A partir del operador de obligación y de la negación lógica es posible definir los operadores de prohibición (Ph) y de permisión (P):
Op <-> Ph-p <-> -P-p
* * *
Rama de la lógica modal que estudia lo permitido, lo obligatorio y lo prohibido, que son caracterizados como modalidades deónticas (del griego, deontos: "de aquello que es obligatorio).La lógica deóntica apunta a sistematizar las relaciones abstractas, puramente conceptuales, existentes entre las proposiciones de esta esfera, una de las cuales es la siguiente: si un acto es obligatorio, entonces su realización debe ser permitida y su omisión prohibida. En ciertas circunstancias, todo acto es tal que él o su omisión está permitido. La lógica modal deja a las disciplinas sustantivas como la ética y el derecho la cuestión concreta de determinar qué actos o estados de cosas específicos han de ser prohibidos, permitidos o algo por el estilo.
Enciclopedia Universal. 2012.
